| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Game Theory | Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 351474 | ||
| Algorithmische Spieltheorie (für Informatik & SSE) | Vorlesung | 309120 | Mo 10:30-12:00 MetP11 (2181|102) (×12) Di 10:30-12:00 MetP11 (2181|102) (×12) Do 12:30-14:00 MetP11 (2181|102) (×11) | |||
| Concepts and Models for Parallel and Data-centric Programming | Konzepte und Modelle der parallelen und datenzentrischen Programmierung (SS) | Fach-/Modulprüfung | 6 | 351720 | ||
| Konzepte und Modelle der parallelen und datenzentrischen Programmierung | Übung | 283552 | Mi 10:30-12:00 MetP11 (2181|102) (×5) | |||
| Konzepte und Modelle der parallelen und datenzentrischen Programmierung | Vorlesung | 283711 | Mo 12:30-14:00 MetP11 (2181|102) (×12) Fr 10:30-12:00 MetP11 (2181|102) (×7) | |||
| Digitalisation | Digitalisierung | Vorlesung | 349353 | Mi 18:15-19:45 AH I (2350|028) (×13) | ||
| Projektarbeit Digitalisierung | Projekt | 3 | 368026 | |||
| Embedded Systems | Einführung in eingebettete Systeme | Fach-/Modulprüfung | 6 | 351768 | ||
| Einführung in eingebettete Systeme | Vorlesung/Übung | 281076 | Mo 14:30-16:00 AH III (2350|314.1) (×10) Di 14:30-16:00 AH III (2350|314.1) (×9) | |||
| Mobile Internet Technology | Mobile Internet Technology | Fach-/Modulprüfung | 6 | 352048 | ||
| Mobile Internet Technology | Vorlesung/Übung | 281395 | Mo 10:00-11:30 AH I (2350|028) (×1) Mi 10:30-12:00 AH I (2350|028) (×13) Do 10:30-12:00 AH I (2350|028) (×12) Do 10:30-12:00 Aula 2 (2352|021) (×1) Do 10:30-12:30 Aula 2 (2352|021) (×1) | |||
| Modeling and analysis of hybrid systems | Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 352058 | ||
| Modellierung und Analyse hybrider Systeme | Vorlesung/Übung | 279319 | Mo 14:30-16:00 AH V (2356|050) (×12) Di 10:30-12:00 AH VI (2356|051) (×12) Mi 16:00-18:00 Fakultätsseminarraum (2359|U112) (×1) | |||
| Performance Analysis and Correctness Checking of Parallel Applications | Leistungs- und Korrektheitsanalyse paralleler Programme | Fach-/Modulprüfung | 6 | 351278 | ||
| Leistungs- und Korrektheitsanalyse paralleler Programme | Übung | 279012 | Do 12:30-14:00 5056 (2356|056) (×6) | |||
| Leistungs- und Korrektheitsanalyse paralleler Programme | Vorlesung | 279025 | Di 12:30-14:00 5056 (2356|056) (×12) Do 12:30-14:00 5056 (2356|056) (×6) | |||
| Semantics and Verification of Software | Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 351544 | ||
| Semantik und Verifikation von Software | Übung | 309117 | Fr 10:30-12:00 5056 (2356|056) (×10) Fr 10:30-12:00 Extern (×1) | |||
| Semantik und Verifikation von Software | Vorlesung | 309118 | Mo 14:30-16:00 AH VI (2356|051) (×9) Do 10:30-12:00 5056 (2356|056) (×9) Fr 10:30-12:00 5056 (2356|056) (×1) | |||
| Software Language Engineering | Projektarbeit Software Language Engineering | Projekt | 6 | 368205 | ||
| Software Language Engineering | Vorlesung/Übung | 309365 | Di 12:30-14:00 AH V (2356|050) (×11) Mi 16:30-18:00 AH I (2350|028) (×11) Do 14:30-16:00 AH IV (2354|030) (×12) | |||
| Software Project Management | Software-Projektmanagement | Fach-/Modulprüfung | 4 | 351739 | ||
| Software-Projektmanagement | Übung | 279102 | ||||
| Software-Projektmanagement | Vorlesung | 282688 | Do 08:30-10:00 AH III (2350|314.1) (×12) Fr 08:30-10:00 AH III (2350|314.1) (×13) Fr 10:00-13:30 AH III (2350|314.1) (×1) Fr 13:00-15:00 5052 (2356|052) (×1) |